home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / gnu / gas_251.zip / bin_251 / opcodes / m68k-dis.c < prev    next >
C/C++ Source or Header  |  1994-04-28  |  27KB  |  1,108 lines
  1. /* Print Motorola 68k instructions.
  2.    Copyright 1986, 1987, 1989, 1991, 1992, 1993 Free Software Foundation, Inc.
  3.  
  4. This file is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8.  
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12. GNU General Public License for more details.
  13.  
  14. You should have received a copy of the GNU General Public License
  15. along with this program; if not, write to the Free Software
  16. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
  17.  
  18. #include "dis-asm.h"
  19. #include "floatformat.h"
  20.  
  21. /* Opcode/m68k.h is a massive table.  As a kludge, break it up into
  22.    two pieces.  This makes nonportable C -- FIXME -- it assumes that
  23.    two data items declared near each other will be contiguous in
  24.    memory.  This kludge can be removed, FIXME, when GCC is fixed to not
  25.    be a hog about initializers.  */
  26.  
  27. #ifdef __GNUC__
  28. #define    BREAK_UP_BIG_DECL    }; \
  29.                 struct m68k_opcode m68k_opcodes_2[] = {
  30. #define    AND_OTHER_PART        sizeof (m68k_opcodes_2)
  31. #endif
  32.  
  33. #include "opcode/m68k.h"
  34.  
  35.  
  36. /* Local function prototypes */
  37.  
  38. static int
  39. fetch_arg PARAMS ((unsigned char *, int, int, disassemble_info *));
  40.  
  41. static void
  42. print_base PARAMS ((int, int, disassemble_info*));
  43.  
  44. static unsigned char *
  45. print_indexed PARAMS ((int, unsigned char *, bfd_vma, disassemble_info *));
  46.  
  47. static int
  48. print_insn_arg PARAMS ((char *, unsigned char *, unsigned char *, bfd_vma,
  49.             disassemble_info *));
  50.  
  51. CONST char * CONST fpcr_names[] = {
  52.   "", "fpiar", "fpsr", "fpiar/fpsr", "fpcr",
  53.   "fpiar/fpcr", "fpsr/fpcr", "fpiar/fpsr/fpcr"};
  54.  
  55. static char *reg_names[] = {
  56.   "d0", "d1", "d2", "d3", "d4", "d5", "d6", "d7", "a0",
  57.   "a1", "a2", "a3", "a4", "a5", "fp", "sp", "ps", "pc"};
  58.  
  59. /* Sign-extend an (unsigned char). */
  60. #if __STDC__ == 1
  61. #define COERCE_SIGNED_CHAR(ch) ((signed char)(ch))
  62. #else
  63. #define COERCE_SIGNED_CHAR(ch) ((int)(((ch) ^ 0x80) & 0xFF) - 128)
  64. #endif
  65.  
  66. /* Get a 1 byte signed integer.  */
  67. #define NEXTBYTE(p)  (p += 2, FETCH_DATA (info, p), COERCE_SIGNED_CHAR(p[-1]))
  68.  
  69. /* Get a 2 byte signed integer.  */
  70. #define COERCE16(x) ((int) (((x) ^ 0x8000) - 0x8000))
  71. #define NEXTWORD(p)  \
  72.   (p += 2, FETCH_DATA (info, p), \
  73.    COERCE16 ((p[-2] << 8) + p[-1]))
  74.  
  75. /* Get a 4 byte signed integer.  */
  76. #define COERCE32(x) ((int) (((x) ^ 0x80000000) - 0x80000000))
  77. #define NEXTLONG(p)  \
  78.   (p += 4, FETCH_DATA (info, p), \
  79.    (COERCE32 ((((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1])))
  80.  
  81. /* NEXTSINGLE and NEXTDOUBLE handle alignment problems, but not
  82.  * byte-swapping or other float format differences.  FIXME! */
  83.  
  84. union number {
  85.     double d;
  86.     float f;
  87.     char c[10];
  88. };
  89.  
  90. #define NEXTSINGLE(val, p) \
  91.   { int i; union number u;\
  92.     FETCH_DATA (info, p + sizeof (float));\
  93.     for (i = 0; i < sizeof(float); i++) u.c[i] = *p++; \
  94.     val = u.f; }
  95.  
  96. #define NEXTDOUBLE(val, p) \
  97.   { int i; union number u;\
  98.     FETCH_DATA (info, p + sizeof (double));\
  99.     for (i = 0; i < sizeof(double); i++) u.c[i] = *p++; \
  100.     val = u.d; }
  101.  
  102. /* Need a function to convert from extended to double precision... */
  103. #define NEXTEXTEND(p) \
  104.   (p += 12, FETCH_DATA (info, p), 0.0)
  105.  
  106. /* Need a function to convert from packed to double
  107.    precision.   Actually, it's easier to print a
  108.    packed number than a double anyway, so maybe
  109.    there should be a special case to handle this... */
  110. #define NEXTPACKED(p) \
  111.   (p += 12, FETCH_DATA (info, p), 0.0)
  112.  
  113.  
  114. /* Maximum length of an instruction.  */
  115. #define MAXLEN 22
  116.  
  117. #include <setjmp.h>
  118.  
  119. struct private
  120. {
  121.   /* Points to first byte not fetched.  */
  122.   bfd_byte *max_fetched;
  123.   bfd_byte the_buffer[MAXLEN];
  124.   bfd_vma insn_start;
  125.   jmp_buf bailout;
  126. };
  127.  
  128. /* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive)
  129.    to ADDR (exclusive) are valid.  Returns 1 for success, longjmps
  130.    on error.  */
  131. #define FETCH_DATA(info, addr) \
  132.   ((addr) <= ((struct private *)(info->private_data))->max_fetched \
  133.    ? 1 : fetch_data ((info), (addr)))
  134.  
  135. static int
  136. fetch_data (info, addr)
  137.      struct disassemble_info *info;
  138.      bfd_byte *addr;
  139. {
  140.   int status;
  141.   struct private *priv = (struct private *)info->private_data;
  142.   bfd_vma start = priv->insn_start + (priv->max_fetched - priv->the_buffer);
  143.  
  144.   status = (*info->read_memory_func) (start,
  145.                       priv->max_fetched,
  146.                       addr - priv->max_fetched,
  147.                       info);
  148.   if (status != 0)
  149.     {
  150.       (*info->memory_error_func) (status, start, info);
  151.       longjmp (priv->bailout, 1);
  152.     }
  153.   else
  154.     priv->max_fetched = addr;
  155.   return 1;
  156. }
  157.  
  158. /* This function is used to print to the bit-bucket. */
  159. static int
  160. #ifdef __STDC__
  161. dummy_printer (FILE * file, const char * format, ...)
  162. #else
  163. dummy_printer (file) FILE *file;
  164. #endif
  165.  { return 0; }
  166.  
  167. void
  168. dummy_print_address (vma, info)
  169.      bfd_vma vma;
  170.      struct disassemble_info *info;
  171. {
  172. }
  173.  
  174. /* Print the m68k instruction at address MEMADDR in debugged memory,
  175.    on INFO->STREAM.  Returns length of the instruction, in bytes.  */
  176.  
  177. int
  178. print_insn_m68k (memaddr, info)
  179.      bfd_vma memaddr;
  180.      disassemble_info *info;
  181. {
  182.   register int i;
  183.   register unsigned char *p;
  184.   unsigned char *save_p;
  185.   register char *d;
  186.   register unsigned long bestmask;
  187.   int best;
  188.   struct private priv;
  189.   bfd_byte *buffer = priv.the_buffer;
  190.   fprintf_ftype save_printer = info->fprintf_func;
  191.   void (*save_print_address) PARAMS((bfd_vma, struct disassemble_info*))
  192.     = info->print_address_func;
  193.  
  194.   info->private_data = (PTR) &priv;
  195.   priv.max_fetched = priv.the_buffer;
  196.   priv.insn_start = memaddr;
  197.   if (setjmp (priv.bailout) != 0)
  198.     /* Error return.  */
  199.     return -1;
  200.  
  201.   bestmask = 0;
  202.   best = -1;
  203.   FETCH_DATA (info, buffer + 2);
  204.   for (i = 0; i < numopcodes; i++)
  205.     {
  206.       register unsigned long opcode = m68k_opcodes[i].opcode;
  207.       register unsigned long match = m68k_opcodes[i].match;
  208.  
  209.       if (m68k_opcodes[i].flags & F_ALIAS)
  210.     continue;
  211.  
  212.       if (((0xff & buffer[0] & (match >> 24)) == (0xff & (opcode >> 24)))
  213.       && ((0xff & buffer[1] & (match >> 16)) == (0xff & (opcode >> 16)))
  214.       /* Only fetch the next two bytes if we need to.  */
  215.       && (((0xffff & match) == 0)
  216.           ||
  217.           (FETCH_DATA (info, buffer + 4)
  218.            && ((0xff & buffer[2] & (match >> 8)) == (0xff & (opcode >> 8)))
  219.            && ((0xff & buffer[3] & match) == (0xff & opcode)))
  220.           ))
  221.     {
  222.       /* Don't use for printout the variants of divul and divsl
  223.          that have the same register number in two places.
  224.          The more general variants will match instead.  */
  225.       for (d = m68k_opcodes[i].args; *d; d += 2)
  226.         if (d[1] == 'D')
  227.           break;
  228.  
  229.       /* Don't use for printout the variants of most floating
  230.          point coprocessor instructions which use the same
  231.          register number in two places, as above. */
  232.       if (*d == 0)
  233.         for (d = m68k_opcodes[i].args; *d; d += 2)
  234.           if (d[1] == 't')
  235.         break;
  236.  
  237.       if (*d == 0 && match > bestmask)
  238.         {
  239.           best = i;
  240.           bestmask = match;
  241.         }
  242.     }
  243.     }
  244.  
  245.   if (best < 0)
  246.     goto invalid;
  247.  
  248.   /* Point at first word of argument data,
  249.      and at descriptor for first argument.  */
  250.   p = buffer + 2;
  251.   
  252.   /* Figure out how long the fixed-size portion of the instruction is.
  253.      The only place this is stored in the opcode table is
  254.      in the arguments--look for arguments which specify fields in the 2nd
  255.      or 3rd words of the instruction.  */
  256.   for (d = m68k_opcodes[best].args; *d; d += 2)
  257.     {
  258.       /* I don't think it is necessary to be checking d[0] here; I suspect
  259.      all this could be moved to the case statement below.  */
  260.       if (d[0] == '#')
  261.     {
  262.       if (d[1] == 'l' && p - buffer < 6)
  263.         p = buffer + 6;
  264.       else if (p - buffer < 4 && d[1] != 'C' && d[1] != '8' )
  265.         p = buffer + 4;
  266.     }
  267.       if ((d[0] == 'L' || d[0] == 'l') && d[1] == 'w' && p - buffer < 4)
  268.     p = buffer + 4;
  269.       switch (d[1])
  270.     {
  271.     case '1':
  272.     case '2':
  273.     case '3':
  274.     case '7':
  275.     case '8':
  276.     case '9':
  277.     case 'i':
  278.       if (p - buffer < 4)
  279.         p = buffer + 4;
  280.       break;
  281.     case '4':
  282.     case '5':
  283.     case '6':
  284.       if (p - buffer < 6)
  285.         p = buffer + 6;
  286.       break;
  287.     default:
  288.       break;
  289.     }
  290.     }
  291.   /* pflusha is an exception; it takes no arguments but is two words long.  */
  292.   if (buffer[0] == 0xf0 && buffer[1] == 0 && buffer[2] == 0x24 &&
  293.       buffer[3] == 0)
  294.     p = buffer + 4;
  295.   
  296.   FETCH_DATA (info, p);
  297.   
  298.   d = m68k_opcodes[best].args;
  299.  
  300.   /* We can the operands twice.  The first time we don't print anything,
  301.      but look for errors. */
  302.  
  303.   save_p = p;
  304.   info->print_address_func = dummy_print_address;
  305.   info->fprintf_func = (fprintf_ftype)dummy_printer;
  306.   for ( ; *d; d += 2)
  307.     {
  308.       int eaten = print_insn_arg (d, buffer, p, memaddr + p - buffer, info);
  309.       if (eaten >= 0)
  310.     p += eaten;
  311.       else if (eaten == -1)
  312.     goto invalid;
  313.       else
  314.     {
  315.       (*info->fprintf_func)(info->stream,
  316.                 "<internal error in opcode table: %s %s>\n",
  317.                 m68k_opcodes[best].name,
  318.                 m68k_opcodes[best].args);
  319.       goto invalid;
  320.     }
  321.  
  322.     }
  323.   p = save_p;
  324.   info->fprintf_func = save_printer;
  325.   info->print_address_func = save_print_address;
  326.  
  327.   d = m68k_opcodes[best].args;
  328.  
  329.   (*info->fprintf_func) (info->stream, "%s", m68k_opcodes[best].name);
  330.  
  331.   if (*d)
  332.     (*info->fprintf_func) (info->stream, " ");
  333.  
  334.   while (*d)
  335.     {
  336.       p += print_insn_arg (d, buffer, p, memaddr + p - buffer, info);
  337.       d += 2;
  338.       if (*d && *(d - 2) != 'I' && *d != 'k')
  339.     (*info->fprintf_func) (info->stream, ",");
  340.     }
  341.   return p - buffer;
  342.  
  343.  invalid:
  344.   /* Handle undefined instructions.  */
  345.   info->fprintf_func = save_printer;
  346.   info->print_address_func = save_print_address;
  347.   (*info->fprintf_func) (info->stream, "0%o",
  348.              (buffer[0] << 8) + buffer[1]);
  349.   return 2;
  350. }
  351.  
  352. /* Returns number of bytes "eaten" by the operand, or
  353.    return -1 if an invalid operand was found, or -2 if
  354.    an opcode tabe error was found. */
  355.  
  356. static int
  357. print_insn_arg (d, buffer, p0, addr, info)
  358.      char *d;
  359.      unsigned char *buffer;
  360.      unsigned char *p0;
  361.      bfd_vma addr;        /* PC for this arg to be relative to */
  362.      disassemble_info *info;
  363. {
  364.   register int val = 0;
  365.   register int place = d[1];
  366.   register unsigned char *p = p0;
  367.   int regno;
  368.   register CONST char *regname;
  369.   register unsigned char *p1;
  370.   double flval;
  371.   int flt_p;
  372.  
  373.   switch (*d)
  374.     {
  375.     case 'c':        /* cache identifier */
  376.       {
  377.         static char *cacheFieldName[] = { "NOP", "dc", "ic", "bc" };
  378.         val = fetch_arg (buffer, place, 2, info);
  379.         (*info->fprintf_func) (info->stream, cacheFieldName[val]);
  380.         break;
  381.       }
  382.  
  383.     case 'a':        /* address register indirect only. Cf. case '+'. */
  384.       {
  385.         (*info->fprintf_func)
  386.       (info->stream,
  387.        "%s@",
  388.        reg_names [fetch_arg (buffer, place, 3, info) + 8]);
  389.         break;
  390.       }
  391.  
  392.     case '_':        /* 32-bit absolute address for move16. */
  393.       {
  394.         val = NEXTLONG (p);
  395.         (*info->fprintf_func) (info->stream, "@#");
  396.     (*info->print_address_func) (val, info);
  397.         break;
  398.       }
  399.  
  400.     case 'C':
  401.       (*info->fprintf_func) (info->stream, "ccr");
  402.       break;
  403.  
  404.     case 'S':
  405.       (*info->fprintf_func) (info->stream, "sr");
  406.       break;
  407.  
  408.     case 'U':
  409.       (*info->fprintf_func) (info->stream, "usp");
  410.       break;
  411.  
  412.     case 'J':
  413.       {
  414.     static struct { char *name; int value; } names[]
  415.       = {{"sfc", 0x000}, {"dfc", 0x001}, {"cacr", 0x002},
  416.          {"tc",  0x003}, {"itt0",0x004}, {"itt1", 0x005},
  417.              {"dtt0",0x006}, {"dtt1",0x007},
  418.          {"usp", 0x800}, {"vbr", 0x801}, {"caar", 0x802},
  419.          {"msp", 0x803}, {"isp", 0x804},
  420.  
  421.          /* Should we be calling this psr like we do in case 'Y'?  */
  422.          {"mmusr",0x805},
  423.  
  424.              {"urp", 0x806}, {"srp", 0x807}};
  425.  
  426.     val = fetch_arg (buffer, place, 12, info);
  427.     for (regno = sizeof names / sizeof names[0] - 1; regno >= 0; regno--)
  428.       if (names[regno].value == val)
  429.         {
  430.           (*info->fprintf_func) (info->stream, names[regno].name);
  431.           break;
  432.         }
  433.     if (regno < 0)
  434.       (*info->fprintf_func) (info->stream, "%d", val);
  435.       }
  436.       break;
  437.  
  438.     case 'Q':
  439.       val = fetch_arg (buffer, place, 3, info);
  440.       /* 0 means 8, except for the bkpt instruction... */
  441.       if (val == 0 && d[1] != 's')
  442.     val = 8;
  443.       (*info->fprintf_func) (info->stream, "#%d", val);
  444.       break;
  445.  
  446.     case 'M':
  447.       val = fetch_arg (buffer, place, 8, info);
  448.       if (val & 0x80)
  449.     val = val - 0x100;
  450.       (*info->fprintf_func) (info->stream, "#%d", val);
  451.       break;
  452.  
  453.     case 'T':
  454.       val = fetch_arg (buffer, place, 4, info);
  455.       (*info->fprintf_func) (info->stream, "#%d", val);
  456.       break;
  457.  
  458.     case 'D':
  459.       (*info->fprintf_func) (info->stream, "%s",
  460.                  reg_names[fetch_arg (buffer, place, 3, info)]);
  461.       break;
  462.  
  463.     case 'A':
  464.       (*info->fprintf_func)
  465.     (info->stream, "%s",
  466.      reg_names[fetch_arg (buffer, place, 3, info) + 010]);
  467.       break;
  468.  
  469.     case 'R':
  470.       (*info->fprintf_func)
  471.     (info->stream, "%s",
  472.      reg_names[fetch_arg (buffer, place, 4, info)]);
  473.       break;
  474.  
  475.     case 'r':
  476.       (*info->fprintf_func)
  477.     (info->stream, "%s@",
  478.      reg_names[fetch_arg (buffer, place, 4, info)]);
  479.       break;
  480.  
  481.     case 'F':
  482.       (*info->fprintf_func)
  483.     (info->stream, "fp%d",
  484.      fetch_arg (buffer, place, 3, info));
  485.       break;
  486.  
  487.     case 'O':
  488.       val = fetch_arg (buffer, place, 6, info);
  489.       if (val & 0x20)
  490.     (*info->fprintf_func) (info->stream, "%s", reg_names [val & 7]);
  491.       else
  492.     (*info->fprintf_func) (info->stream, "%d", val);
  493.       break;
  494.  
  495.     case '+':
  496.       (*info->fprintf_func)
  497.     (info->stream, "%s@+",
  498.      reg_names[fetch_arg (buffer, place, 3, info) + 8]);
  499.       break;
  500.  
  501.     case '-':
  502.       (*info->fprintf_func)
  503.     (info->stream, "%s@-",
  504.      reg_names[fetch_arg (buffer, place, 3, info) + 8]);
  505.       break;
  506.  
  507.     case 'k':
  508.       if (place == 'k')
  509.     (*info->fprintf_func)
  510.       (info->stream, "{%s}",
  511.        reg_names[fetch_arg (buffer, place, 3, info)]);
  512.       else if (place == 'C')
  513.     {
  514.       val = fetch_arg (buffer, place, 7, info);
  515.       if ( val > 63 )        /* This is a signed constant. */
  516.         val -= 128;
  517.       (*info->fprintf_func) (info->stream, "{#%d}", val);
  518.     }
  519.       else
  520.     return -2;
  521.       break;
  522.  
  523.     case '#':
  524.     case '^':
  525.       p1 = buffer + (*d == '#' ? 2 : 4);
  526.       if (place == 's')
  527.     val = fetch_arg (buffer, place, 4, info);
  528.       else if (place == 'C')
  529.     val = fetch_arg (buffer, place, 7, info);
  530.       else if (place == '8')
  531.     val = fetch_arg (buffer, place, 3, info);
  532.       else if (place == '3')
  533.     val = fetch_arg (buffer, place, 8, info);
  534.       else if (place == 'b')
  535.     val = NEXTBYTE (p1);
  536.       else if (place == 'w')
  537.     val = NEXTWORD (p1);
  538.       else if (place == 'l')
  539.     val = NEXTLONG (p1);
  540.       else
  541.     return -2;
  542.       (*info->fprintf_func) (info->stream, "#%d", val);
  543.       break;
  544.  
  545.     case 'B':
  546.       if (place == 'b')
  547.     val = NEXTBYTE (p);
  548.       else if (place == 'B')
  549.     val = COERCE_SIGNED_CHAR(buffer[1]);
  550.       else if (place == 'w' || place == 'W')
  551.     val = NEXTWORD (p);
  552.       else if (place == 'l' || place == 'L')
  553.     val = NEXTLONG (p);
  554.       else if (place == 'g')
  555.     {
  556.       val = NEXTBYTE (buffer);
  557.       if (val == 0)
  558.         val = NEXTWORD (p);
  559.       else if (val == -1)
  560.         val = NEXTLONG (p);
  561.     }
  562.       else if (place == 'c')
  563.     {
  564.       if (buffer[1] & 0x40)        /* If bit six is one, long offset */
  565.         val = NEXTLONG (p);
  566.       else
  567.         val = NEXTWORD (p);
  568.     }
  569.       else
  570.     return -2;
  571.  
  572.       (*info->print_address_func) (addr + val, info);
  573.       break;
  574.  
  575.     case 'd':
  576.       val = NEXTWORD (p);
  577.       (*info->fprintf_func)
  578.     (info->stream, "%s@(%d)",
  579.      reg_names[fetch_arg (buffer, place, 3, info)], val);
  580.       break;
  581.  
  582.     case 's':
  583.       (*info->fprintf_func) (info->stream, "%s",
  584.                  fpcr_names[fetch_arg (buffer, place, 3, info)]);
  585.       break;
  586.  
  587.     case 'I':
  588.       /* Get coprocessor ID... */
  589.       val = fetch_arg (buffer, 'd', 3, info);
  590.       
  591.       if (val != 1)                /* Unusual coprocessor ID? */
  592.     (*info->fprintf_func) (info->stream, "(cpid=%d) ", val);
  593.       break;
  594.  
  595.     case '*':
  596.     case '~':
  597.     case '%':
  598.     case ';':
  599.     case '@':
  600.     case '!':
  601.     case '$':
  602.     case '?':
  603.     case '/':
  604.     case '&':
  605.     case '`':
  606.     case '|':
  607.  
  608.       if (place == 'd')
  609.     {
  610.       val = fetch_arg (buffer, 'x', 6, info);
  611.       val = ((val & 7) << 3) + ((val >> 3) & 7);
  612.     }
  613.       else
  614.     val = fetch_arg (buffer, 's', 6, info);
  615.  
  616.       /* Get register number assuming address register.  */
  617.       regno = (val & 7) + 8;
  618.       regname = reg_names[regno];
  619.       switch (val >> 3)
  620.     {
  621.     case 0:
  622.       (*info->fprintf_func) (info->stream, "%s", reg_names[val]);
  623.       break;
  624.  
  625.     case 1:
  626.       (*info->fprintf_func) (info->stream, "%s", regname);
  627.       break;
  628.  
  629.     case 2:
  630.       (*info->fprintf_func) (info->stream, "%s@", regname);
  631.       break;
  632.  
  633.     case 3:
  634.       (*info->fprintf_func) (info->stream, "%s@+", regname);
  635.       break;
  636.  
  637.     case 4:
  638.       (*info->fprintf_func) (info->stream, "%s@-", regname);
  639.       break;
  640.  
  641.     case 5:
  642.       val = NEXTWORD (p);
  643.       (*info->fprintf_func) (info->stream, "%s@(%d)", regname, val);
  644.       break;
  645.  
  646.     case 6:
  647.       p = print_indexed (regno, p, addr, info);
  648.       break;
  649.  
  650.     case 7:
  651.       switch (val & 7)
  652.         {
  653.         case 0:
  654.           val = NEXTWORD (p);
  655.           (*info->fprintf_func) (info->stream, "@#");
  656.           (*info->print_address_func) (val, info);
  657.           break;
  658.  
  659.         case 1:
  660.           val = NEXTLONG (p);
  661.           (*info->fprintf_func) (info->stream, "@#");
  662.           (*info->print_address_func) (val, info);
  663.           break;
  664.  
  665.         case 2:
  666.           val = NEXTWORD (p);
  667.           (*info->print_address_func) (addr + val, info);
  668.           break;
  669.  
  670.         case 3:
  671.           p = print_indexed (-1, p, addr, info);
  672.           break;
  673.  
  674.         case 4:
  675.           flt_p = 1;    /* Assume it's a float... */
  676.           switch( place )
  677.           {
  678.         case 'b':
  679.           val = NEXTBYTE (p);
  680.           flt_p = 0;
  681.           break;
  682.  
  683.         case 'w':
  684.           val = NEXTWORD (p);
  685.           flt_p = 0;
  686.           break;
  687.  
  688.         case 'l':
  689.           val = NEXTLONG (p);
  690.           flt_p = 0;
  691.           break;
  692.  
  693.         case 'f':
  694.           NEXTSINGLE(flval, p);
  695.           break;
  696.  
  697.         case 'F':
  698.           NEXTDOUBLE(flval, p);
  699.           break;
  700.  
  701.         case 'x':
  702.           FETCH_DATA (info, p + 12);
  703.           floatformat_to_double (&floatformat_m68881_ext,
  704.                      (char *) p, &flval);
  705.           p += 12;
  706.           break;
  707.  
  708.         case 'p':
  709.           flval = NEXTPACKED(p);
  710.           break;
  711.  
  712.         default:
  713.           return -1;
  714.           }
  715.           if ( flt_p )    /* Print a float? */
  716.         (*info->fprintf_func) (info->stream, "#%g", flval);
  717.           else
  718.         (*info->fprintf_func) (info->stream, "#%d", val);
  719.           break;
  720.  
  721.         default:
  722.           return -1;
  723.         }
  724.     }
  725.       break;
  726.  
  727.     case 'L':
  728.     case 'l':
  729.     if (place == 'w')
  730.       {
  731.         char doneany;
  732.         p1 = buffer + 2;
  733.         val = NEXTWORD (p1);
  734.         /* Move the pointer ahead if this point is farther ahead
  735.            than the last.  */
  736.         p = p1 > p ? p1 : p;
  737.         if (val == 0)
  738.           {
  739.         (*info->fprintf_func) (info->stream, "#0");
  740.         break;
  741.           }
  742.         if (*d == 'l')
  743.           {
  744.         register int newval = 0;
  745.         for (regno = 0; regno < 16; ++regno)
  746.           if (val & (0x8000 >> regno))
  747.             newval |= 1 << regno;
  748.         val = newval;
  749.           }
  750.         val &= 0xffff;
  751.         doneany = 0;
  752.         for (regno = 0; regno < 16; ++regno)
  753.           if (val & (1 << regno))
  754.         {
  755.           int first_regno;
  756.           if (doneany)
  757.             (*info->fprintf_func) (info->stream, "/");
  758.           doneany = 1;
  759.           (*info->fprintf_func) (info->stream, "%s", reg_names[regno]);
  760.           first_regno = regno;
  761.           while (val & (1 << (regno + 1)))
  762.             ++regno;
  763.           if (regno > first_regno)
  764.             (*info->fprintf_func) (info->stream, "-%s",
  765.                        reg_names[regno]);
  766.         }
  767.       }
  768.     else if (place == '3')
  769.       {
  770.         /* `fmovem' insn.  */
  771.         char doneany;
  772.         val = fetch_arg (buffer, place, 8, info);
  773.         if (val == 0)
  774.           {
  775.         (*info->fprintf_func) (info->stream, "#0");
  776.         break;
  777.           }
  778.         if (*d == 'l')
  779.           {
  780.         register int newval = 0;
  781.         for (regno = 0; regno < 8; ++regno)
  782.           if (val & (0x80 >> regno))
  783.             newval |= 1 << regno;
  784.         val = newval;
  785.           }
  786.         val &= 0xff;
  787.         doneany = 0;
  788.         for (regno = 0; regno < 8; ++regno)
  789.           if (val & (1 << regno))
  790.         {
  791.           int first_regno;
  792.           if (doneany)
  793.             (*info->fprintf_func) (info->stream, "/");
  794.           doneany = 1;
  795.           (*info->fprintf_func) (info->stream, "fp%d", regno);
  796.           first_regno = regno;
  797.           while (val & (1 << (regno + 1)))
  798.             ++regno;
  799.           if (regno > first_regno)
  800.             (*info->fprintf_func) (info->stream, "-fp%d", regno);
  801.         }
  802.       }
  803.     else
  804.       return -2;
  805.       break;
  806.  
  807.     case 'X':
  808.       place = '8';
  809.     case 'Y':
  810.     case 'Z':
  811.     case 'W':
  812.     case '3':
  813.     case 'P':
  814.       {
  815.     int val = fetch_arg (buffer, place, 5, info);
  816.     char *name = 0;
  817.     switch (val)
  818.       {
  819.       case 2: name = "tt0"; break;
  820.       case 3: name = "tt1"; break;
  821.       case 0x10: name = "tc"; break;
  822.       case 0x11: name = "drp"; break;
  823.       case 0x12: name = "srp"; break;
  824.       case 0x13: name = "crp"; break;
  825.       case 0x14: name = "cal"; break;
  826.       case 0x15: name = "val"; break;
  827.       case 0x16: name = "scc"; break;
  828.       case 0x17: name = "ac"; break;
  829.        case 0x18: name = "psr"; break;
  830.       case 0x19: name = "pcsr"; break;
  831.       case 0x1c:
  832.       case 0x1d:
  833.         {
  834.           int break_reg = ((buffer[3] >> 2) & 7);
  835.           (*info->fprintf_func)
  836.         (info->stream, val == 0x1c ? "bad%d" : "bac%d",
  837.          break_reg);
  838.         }
  839.         break;
  840.       default:
  841.         (*info->fprintf_func) (info->stream, "<mmu register %d>", val);
  842.       }
  843.     if (name)
  844.       (*info->fprintf_func) (info->stream, name);
  845.       }
  846.       break;
  847.  
  848.     case 'f':
  849.       {
  850.     int fc = fetch_arg (buffer, place, 5, info);
  851.     if (fc == 1)
  852.       (*info->fprintf_func) (info->stream, "dfc");
  853.     else if (fc == 0)
  854.       (*info->fprintf_func) (info->stream, "sfc");
  855.     else
  856.       (*info->fprintf_func) (info->stream, "<function code %d>", fc);
  857.       }
  858.       break;
  859.  
  860.     case 'V':
  861.       (*info->fprintf_func) (info->stream, "val");
  862.       break;
  863.  
  864.     case 't':
  865.       {
  866.     int level = fetch_arg (buffer, place, 3, info);
  867.     (*info->fprintf_func) (info->stream, "%d", level);
  868.       }
  869.       break;
  870.  
  871.     default:
  872.       return -2;
  873.     }
  874.  
  875.   return p - p0;
  876. }
  877.  
  878. /* Fetch BITS bits from a position in the instruction specified by CODE.
  879.    CODE is a "place to put an argument", or 'x' for a destination
  880.    that is a general address (mode and register).
  881.    BUFFER contains the instruction.  */
  882.  
  883. static int
  884. fetch_arg (buffer, code, bits, info)
  885.      unsigned char *buffer;
  886.      int code;
  887.      int bits;
  888.      disassemble_info *info;
  889. {
  890.   register int val = 0;
  891.   switch (code)
  892.     {
  893.     case 's':
  894.       val = buffer[1];
  895.       break;
  896.  
  897.     case 'd':            /* Destination, for register or quick.  */
  898.       val = (buffer[0] << 8) + buffer[1];
  899.       val >>= 9;
  900.       break;
  901.  
  902.     case 'x':            /* Destination, for general arg */
  903.       val = (buffer[0] << 8) + buffer[1];
  904.       val >>= 6;
  905.       break;
  906.  
  907.     case 'k':
  908.       FETCH_DATA (info, buffer + 3);
  909.       val = (buffer[3] >> 4);
  910.       break;
  911.  
  912.     case 'C':
  913.       FETCH_DATA (info, buffer + 3);
  914.       val = buffer[3];
  915.       break;
  916.  
  917.     case '1':
  918.       FETCH_DATA (info, buffer + 3);
  919.       val = (buffer[2] << 8) + buffer[3];
  920.       val >>= 12;
  921.       break;
  922.  
  923.     case '2':
  924.       FETCH_DATA (info, buffer + 3);
  925.       val = (buffer[2] << 8) + buffer[3];
  926.       val >>= 6;
  927.       break;
  928.  
  929.     case '3':
  930.     case 'j':
  931.       FETCH_DATA (info, buffer + 3);
  932.       val = (buffer[2] << 8) + buffer[3];
  933.       break;
  934.  
  935.     case '4':
  936.       FETCH_DATA (info, buffer + 5);
  937.       val = (buffer[4] << 8) + buffer[5];
  938.       val >>= 12;
  939.       break;
  940.  
  941.     case '5':
  942.       FETCH_DATA (info, buffer + 5);
  943.       val = (buffer[4] << 8) + buffer[5];
  944.       val >>= 6;
  945.       break;
  946.  
  947.     case '6':
  948.       FETCH_DATA (info, buffer + 5);
  949.       val = (buffer[4] << 8) + buffer[5];
  950.       break;
  951.  
  952.     case '7':
  953.       FETCH_DATA (info, buffer + 3);
  954.       val = (buffer[2] << 8) + buffer[3];
  955.       val >>= 7;
  956.       break;
  957.       
  958.     case '8':
  959.       FETCH_DATA (info, buffer + 3);
  960.       val = (buffer[2] << 8) + buffer[3];
  961.       val >>= 10;
  962.       break;
  963.  
  964.     case '9':
  965.       FETCH_DATA (info, buffer + 3);
  966.       val = (buffer[2] << 8) + buffer[3];
  967.       val >>= 5;
  968.       break;
  969.  
  970.     case 'e':
  971.       val = (buffer[1] >> 6);
  972.       break;
  973.  
  974.     default:
  975.       abort ();
  976.     }
  977.  
  978.   switch (bits)
  979.     {
  980.     case 2:
  981.       return val & 3;
  982.     case 3:
  983.       return val & 7;
  984.     case 4:
  985.       return val & 017;
  986.     case 5:
  987.       return val & 037;
  988.     case 6:
  989.       return val & 077;
  990.     case 7:
  991.       return val & 0177;
  992.     case 8:
  993.       return val & 0377;
  994.     case 12:
  995.       return val & 07777;
  996.     default:
  997.       abort ();
  998.     }
  999. }
  1000.  
  1001. /* Print an indexed argument.  The base register is BASEREG (-1 for pc).
  1002.    P points to extension word, in buffer.
  1003.    ADDR is the nominal core address of that extension word.  */
  1004.  
  1005. static unsigned char *
  1006. print_indexed (basereg, p, addr, info)
  1007.      int basereg;
  1008.      unsigned char *p;
  1009.      bfd_vma addr;
  1010.      disassemble_info *info;
  1011. {
  1012.   register int word;
  1013.   static char *scales[] = {"", "*2", "*4", "*8"};
  1014.   register int base_disp;
  1015.   register int outer_disp;
  1016.   char buf[40];
  1017.  
  1018.   word = NEXTWORD (p);
  1019.  
  1020.   /* Generate the text for the index register.
  1021.      Where this will be output is not yet determined.  */
  1022.   sprintf (buf, "[%s.%c%s]",
  1023.        reg_names[(word >> 12) & 0xf],
  1024.        (word & 0x800) ? 'l' : 'w',
  1025.        scales[(word >> 9) & 3]);
  1026.  
  1027.   /* Handle the 68000 style of indexing.  */
  1028.  
  1029.   if ((word & 0x100) == 0)
  1030.     {
  1031.       print_base (basereg,
  1032.           ((word & 0x80) ? word | 0xff00 : word & 0xff)
  1033.           + ((basereg == -1) ? addr : 0),
  1034.           info);
  1035.       (*info->fprintf_func) (info->stream, "%s", buf);
  1036.       return p;
  1037.     }
  1038.  
  1039.   /* Handle the generalized kind.  */
  1040.   /* First, compute the displacement to add to the base register.  */
  1041.  
  1042.   if (word & 0200)
  1043.     basereg = -2;
  1044.   if (word & 0100)
  1045.     buf[0] = 0;
  1046.   base_disp = 0;
  1047.   switch ((word >> 4) & 3)
  1048.     {
  1049.     case 2:
  1050.       base_disp = NEXTWORD (p);
  1051.       break;
  1052.     case 3:
  1053.       base_disp = NEXTLONG (p);
  1054.     }
  1055.   if (basereg == -1)
  1056.     base_disp += addr;
  1057.  
  1058.   /* Handle single-level case (not indirect) */
  1059.  
  1060.   if ((word & 7) == 0)
  1061.     {
  1062.       print_base (basereg, base_disp, info);
  1063.       (*info->fprintf_func) (info->stream, "%s", buf);
  1064.       return p;
  1065.     }
  1066.  
  1067.   /* Two level.  Compute displacement to add after indirection.  */
  1068.  
  1069.   outer_disp = 0;
  1070.   switch (word & 3)
  1071.     {
  1072.     case 2:
  1073.       outer_disp = NEXTWORD (p);
  1074.       break;
  1075.     case 3:
  1076.       outer_disp = NEXTLONG (p);
  1077.     }
  1078.  
  1079.   (*info->fprintf_func) (info->stream, "%d(", outer_disp);
  1080.   print_base (basereg, base_disp, info);
  1081.  
  1082.   /* If postindexed, print the closeparen before the index.  */
  1083.   if (word & 4)
  1084.     (*info->fprintf_func) (info->stream, ")%s", buf);
  1085.   /* If preindexed, print the closeparen after the index.  */
  1086.   else
  1087.     (*info->fprintf_func) (info->stream, "%s)", buf);
  1088.  
  1089.   return p;
  1090. }
  1091.  
  1092. /* Print a base register REGNO and displacement DISP, on INFO->STREAM.
  1093.    REGNO = -1 for pc, -2 for none (suppressed).  */
  1094.  
  1095. static void
  1096. print_base (regno, disp, info)
  1097.      int regno;
  1098.      int disp;
  1099.      disassemble_info *info;
  1100. {
  1101.   if (regno == -2)
  1102.     (*info->fprintf_func) (info->stream, "%d", disp);
  1103.   else if (regno == -1)
  1104.     (*info->fprintf_func) (info->stream, "0x%x", (unsigned) disp);
  1105.   else
  1106.     (*info->fprintf_func) (info->stream, "%d(%s)", disp, reg_names[regno]);
  1107. }
  1108.